An Algebraic Foundation for Truth Maintenance
نویسندگان
چکیده
We have recast the problem of t ru th maintenance in a setting of algebraic equations over Boolean lattices. If a method of labeling propositions to justi fy them according to some reasoning agent's constraints of belief happens to conform to the postulates of Boolean lattices, the labeling system can be reformulated as an algebraic equation solving system. A l l t ru th maintenance systems known to us can be so reformulated. This note summarizes our investigations into the existence and structure of solutions of these algebraic systems. Our central result is a unique factorization theorem for lattice equational systems and their solutions. Our theoretical results are interpreted to compare various styles of t ru th maintenance and to reveal certain computational difficulties impl ici t in the algebraic structure of t ru th maintenance.
منابع مشابه
Modified Multi-level Residue Harmonic Balance Method for Solving Nonlinear Vibration Problem of Beam Resting on Nonlinear Elastic Foundation
Nonlinear vibration behavior of beam is an important issue of structural engineering. In this study, a mathematical modeling of a forced nonlinear vibration of Euler-Bernoulli beam resting on nonlinear elastic foundation is presented. The nonlinear vibration behavior of the beam is investigated by using a modified multi-level residue harmonic balance method. The main advantage of the method is ...
متن کاملSigned Formula Logic Programming
Signed formula can be used to reason about a wide variety of multiple-valued logics. The formal theoretical foundation of logic programming based on signed formulas is developed in 26]. In this paper, the operational semantics of signed formula logic programming is investigated through constraint logic programming. Applications to bilattice logic programming and truth-maintenance are considered.
متن کاملDynamic Lambda Calculus
The goal of this paper is to lay a logical foundation for discourse theories by providing an algebraic foundation of compositional formalisms for discourse semantics as an analogon to the simply typed-calculus. Just as that can be specialized to type theory by simply providing a special type for truth values and postulating the quantiiers and connectives as constants with xed semantics, the pro...
متن کاملApplication of Multivariate Control Charts for Condition Based Maintenance
Condition monitoring is the foundation of a condition based maintenance (CBM). To relate the information obtained from the condition monitoring to the actual state of the system, it is usually required a stochastic model. On the other hand, considering the interactions and similarities that exist between CBM and statistical process control (SPC), the integrated models for CBM and SPC have been ...
متن کاملConcerning the Effect of a Viscoelastic Foundation on the Dynamic Stability of a Pipeline System Conveying an Incompressible Fluid
In this paper, we present an analytical method for solving a well-posed boundary value problem of mathematical physics governing the vibration characteristics of an internal flow propelled fluid-structure interaction where the pipeline segment is idealized as an elastic hollow beam conveying an incompressible fluid on a viscoelastic foundation. The effect of Coriolis and damping forces on the o...
متن کامل